integrate x^3 dx